-
1 формальная верификация
Information technology: formal verificationУниверсальный русско-английский словарь > формальная верификация
-
2 формальная верификация
( формальное доказательство соответствия программы ее спецификации) formal verificationРусско-английский словарь по вычислительной технике и программированию > формальная верификация
-
3 верификация и аудит
верификация и аудит
(ITIL Service Transition)
Виды деятельности, отвечающие за обеспечение точности информации в системе управления конфигурациями, а также за то, что все конфигурационные единицы определены и записаны.
Верификация включает в себя регламентированные проверки, являющиеся частью других процессов. Например, сверка серийного номера рабочей станции, когда пользователь сообщает об инциденте.
Аудит – это периодическая, формальная проверка.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]EN
verification and audit
(ITIL Service Transition)
The activities responsible for ensuring that information in the configuration management system is accurate and that all configuration items have been identified and recorded.
Verification includes routine checks that are part of other processes for example, verifying the serial number of a desktop PC when a user logs an incident.
Audit is a periodic, formal check.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > верификация и аудит
См. также в других словарях:
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Верификация — Позитивизм … Википедия
верификация и аудит — (ITIL Service Transition) Виды деятельности, отвечающие за обеспечение точности информации в системе управления конфигурациями, а также за то, что все конфигурационные единицы определены и записаны. Верификация включает в себя регламентированные… … Справочник технического переводчика
Формальная спецификация — В информатике формальная спецификация это математическое описание программной или аппаратной системы, которая может быть реализована в соответствии с этим описанием. Специфицируется, что должна делать система, но не то, как она должна это… … Википедия
Верифицируемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
Доказуемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
Проверяемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
Cadence Design Systems — Тип … Википедия
Статический анализ кода — (англ. static code analysis) анализ программного обеспечения, производимый без реального выполнения исследуемых программ (анализ, производимый с выполнением программ, называется динамический анализ кода). В большинстве случаев анализ… … Википедия
Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules) формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… … Википедия
Cleanroom Software Engineering — Разработка программного обеспечения Процесс разработки ПО Шаги процесса Анализ • Проектирование • Программирование • Докумен … Википедия